Refine “Refine”
نویسندگان
چکیده
The quality of the Software Refinery KBSE environment derives significantly from the quality of its embedded Refine programming language. While Refine provides strong support for many modern high-level programming paradigms (functional, logic, object-oriented and metaprogramming), a number of improvements seem appropriate. These improvements are motivated through analysis of Refine’s existing capabilities, embodied in suggested language changes, and validated by implementation feasibility studies.
منابع مشابه
Mechanised Refinement of Procedures
Refine is a tool that supports the application of Morgan’s refinement calculus. It was designed to support teaching and use by beginners; it is already in use. We describe here the extension of Refine to support the development of (possibly recursive) procedures in the algebraic style of the refinement calculus already adopted by Refine. Resumo. Refine é uma ferramenta que suporta a aplicação d...
متن کاملThe REFINE Multiprocessor - Theoretical Properties and Algorithms
A reconfigurable interconnection network based on a multi-ring architecture called REFINE is described. REFINE embeds a single l-factor of the Boolean hypercube in any given configuration. The mathematical properties of the REFINE topology and the hardware for the reconfiguration switch are described. The REFINE topology is scalable in the sense that the number of interprocessor communication l...
متن کاملUser Profile Refinement Using Explicit User Interest Modeling
In this paper, we present an approach to refine user profiles that were derived from Web server logs in an automated procedure. In most application scenarios, such automatically derived profiles can only deliver a preliminary result and require human interaction for further refinement. We describe the individual steps to enhance and refine derived user profiles which can be used for personaliza...
متن کاملCounterexample to Induction-Guided Abstraction-Refinement (CTIGAR)
ion-Refinement (CTIGAR) Johannes Birgmeier, Aaron R. Bradley, and Georg Weissenbacher 1 Vienna University of Technology 2 Mentor Graphics Abstract. Typical CEGAR-based verification methods refine the abstract domain based on full counterexample traces. The finite state model checking algorithm IC3 introduced the concept of discovering, generalizing from, and thereby eliminating individual state...
متن کاملThe Long-Term Conditions Questionnaire: conceptual framework and item development
PURPOSE To identify the main issues of importance when living with long-term conditions to refine a conceptual framework for informing the item development of a patient-reported outcome measure for long-term conditions. MATERIALS AND METHODS Semi-structured qualitative interviews (n=48) were conducted with people living with at least one long-term condition. Participants were recruited throug...
متن کامل